Llistar TÃtols per Matèria "Lògica aplicada"
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |
S'ha trobat un Ãtem:
| Format | Data | TÃtol | Autor |
|---|---|---|---|
| Format | Data | TÃtol | Autor |
|
|
15 novembre 2018 | SMT techniques for planning problems | Espasa Arxer, Joan |

Planificació automà tica Lógica aplicada Automated planning Applied logic 68 - Indústries, oficis i comerç d’articles acabats. Tecnologia cibernètica i automà tica 004 - Informà tica Satisfiability modulo theories

Villaret i Ausellé, Mateu Bofill Arasa, Miquel Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-) Espasa Arxer, Joan